- beta reduction
- матембета-редукция (в лямбда-исчислении)
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
beta reduction — noun The act of beta reducing, an instance of replacing a function call by the result of calling a function … Wiktionary
Beta — may refer to: *Beta (β), the second letter of the Greek alphabetIn finance: * Beta coefficient in Capital Asset Pricing ModelIn mathematics: * Beta function in mathematics * Beta distribution in statistics * False negative rate in statistics *… … Wikipedia
Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… … Wikipedia
Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… … Wikipedia
Beta blocker — Beta blockers Drug class Skeletal formula of propranolol, the first clinically successful beta blocker ATC code C07 … Wikipedia
Beta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français
Beta-bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français
Beta bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français
Beta bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français
Béta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français
Bêta-bloquants — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la … Wikipédia en Français